// #include <stdio.h>

// float values[1024];

// void fill()
// {
//   for (int i = 0; i < 1024; i++)
//     values[i] = (float)i;
// }

// float reduce()
// {
//   float result = 0.0;

//   for (int i = 0; i < 1024; i++)
//     result += values[i];

//   return result;
// }

// void app_test();
// int main(int argc, char *argv[])
// {
//   // fill();
//   // printf("Result was %f\n", reduce());
//   printf("call app\n");
//   app_test();
// }
